Yet Another Implementation of Attribute Evaluation

We introduce another item in the already large list of techniques for attribute evaluation. Our algorithm consists in computing an attributes by reduction to normal form using a transducer operating on tree encodings of a cyclic representation of zippers. A zipper is a data structure introduced by Gérard Huet for representing a subtree together with its context, i.e. it is a tree with a focus that points to some node inside it. We mention some potential applications of this representation of attribute grammars as zipper transformers. Key-words: Attribute Grammars, Attribute Evaluation, Cyclic Data Structures, Zipper ∗ [email protected] † [email protected] ‡ [email protected] Une nouvelle implémentation de l’évaluation des attributs Résumé : Nous introduisons une nouvelle technique pour l’évaluation des attributs d’une grammaire attribuée. Notre algorithme consiste à évaluer un attribut par réduction à une forme normale en utilisant un automate d’arbres opérant sur une représentation arborescente des zippers donnés sous la forme d’une structure de donnée cyclique. Un zipper est une structure de donnée, introduite par Gérard Huet, consistant à représenter un arbre avec son contexte, c’est-à-dire un arbre avec un point focal pointant sur un de ses sous-arbres. Nous mentionnons quelques applications potentielles de cette représentation des grammaires attribuées comme transformations de zippers. Mots-clés : Grammaires attribuées, Evaluation des attributs, Structures de données cycliques, Zipper Yet Another Implementation of Attribute Evaluation 3